141. Agent-Based Defeasible Control in Dynamic Environments.

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.

رده :
Q339
.
D686
2010

142. Alan Turing :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography

رده :
QA29
.
T8
C65
2013

143. Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic, Symbolic and mathematical. ;

144. Alfred Tarski

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Tarski, Alfred,Logic, Symbolic and mathematical,Logicians- United States- Biography

رده :
QA
.
T32
,
F44
29
2004

145. Alfred Tarski: life and logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Tarski, Alfred,، Logic, Symbolic and mathematical,United States -- Biography ، Logicians

رده :
QA
29
.
T32
F44
2008

146. Alfred Tarski: life and logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians-- United States

رده :
QA
29
.
T32
.
F44
2004

147. Alfred Tarski : life and logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians -- United States

رده :
QA
29
.
T32F43

148. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics

رده :
QA
9
.
A1A42

149. Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings

رده :
QA
3
.
L28
Vol
.
450

150. Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings

رده :
QA
3
.
L28
no
.
450

151. Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings

رده :
QA
1
.
L4
v
.
450

152. Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings

رده :
QA
9
.
A4
1975

153. Algebra and logic: papers from the 1974 summer research institute of the Australian mathematical-Society, Monash University Australia

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Groups, Theory of,Congresses ، Commutative rings

رده :
QA
3
.
L28
no
.
450

154. Algebra, logic, and combinatorics

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Algebra.,Logic, Symbolic and mathematical.,Combinatorial analysis.,Differential equations.,ج‍ب‍ر,منطق ریاضی ,آنالیز ترکیبی

رده :
QA155
.
A525
2016
E-book
,

155. Algebra, mathematical logic, number theory, topology

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology

رده :
QA
1
.
A413
v
.
168

156. Algebra, mathematical logic, number theory, topology

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology

رده :
QA
1
.
P736
Vol
.
168

157. Algebra, mathematical logic, number theory, topology,Algebra, matematicheskaia logika, teoriia chisel, topologiia

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Algebra,، Logic, Symbolic and mathematical,، Number theory,، Topology

رده :
QA
1
.
A413
1986
issue
3
,
etc

158. Algebraic Foundations of Many-Valued Reasoning

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).

159. Algebraic analysis of basic propositional logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Logic, Symbolic and mathematical,Algebraic logic,Interpolation,Amalgamation

160. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
QA
10
.
I5
1988